منابع مشابه
On sampling SCJ rearrangement scenarios
The Single Cut or Join (SCJ) operation on genomes, generalizing chromosome evolution by fusions and fissions, is the computationally simplest known model of genome rearrangement. While most genome rearrangement problems are already hard when comparing three genomes, it is possible to compute in polynomial time a most parsimonious SCJ scenario for an arbitrary number of genomes related by a bina...
متن کاملSCJ: Memory-Safety Checking without Annotations
The development of Safety-Critical Java (SCJ) has introduced a novel programming paradigm designed specifically to make Java applicable to safety-critical systems. Unlike in a Java program, memory management is an important concern under the control of the programmer in SCJ. It is, therefore, not possible to apply tools and techniques for Java programs to SCJ. We describe a new technique that u...
متن کاملLinear Dependency and Independency of Interval Vectors: Theory and Its Applications to Robust Controllability Test
To the best knowledge of authors, none of existing literatures is available for the linear independency test of interval vectors. In this note, we present an effective way for checking the linear independency of interval vectors and its possible application to the robust control problem, for example in this note, for solve the robust controllability test and robust observability test of uncerta...
متن کاملComputing probability intervals under independency constraints
Many AI researchers argue that probability theory is only capable of dealing with uncertainty in situations where a fully specified joint probability distribution is available, and conclude that it is not suitable for application in AI systems. Probability intervals, however, constitute a means for expressing incompleteness of information. We present a method for computing probability interval!...
متن کاملIntensional Logic and Epistemic Independency of Intelligent Database Agents
In the typical Web applications each intelligent database agent can be defined as a Knowledge system (KS) with a global ontology, which integrates a number of source data distributed in Web by traditional extensional mappings, and must be robust enough in order to take in account the incomplete and locally inconsistent information of its sources. The traditional extensional semantics for mappin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: TRENDS IN THE SCIENCES
سال: 2006
ISSN: 1884-7080,1342-3363
DOI: 10.5363/tits.11.52